Coalgebras Of Bounded Type
نویسندگان
چکیده
Using results of Trnková, we first show that subcoalgebras are always closed under finite intersections. Assuming that the type functor F is bounded, we obtain a concrete representation of the terminal F-coalgebra. Several equivalent characterizations of boundedness are provided.
منابع مشابه
On descent for coalgebras and type transformations
We find a criterion for a morphism of coalgebras over a Barr-exact category to be effective descent and determine (effective) descent morphisms for coalgebras over toposes in some cases. Also, we study some exactness properties of endofunctors of arbitrary categories in connection with natural transformations between them as well as those of functors that these transformations induce between co...
متن کاملProducts of coalgebras
We prove that the category of F -coalgebras is complete, that is products and equalizers exist, provided that the type functor F is bounded or preserves mono sources. This generalizes and simplifies a result of Worrell ([Wor98]). We also describe the relationship between the product A × B and the largest bisimulation ∼A,B between A and B and find an example of two finite coalgebras whose produc...
متن کاملHomotopy Theory of Coalgebras over Operads
This paper constructs model structures on the categories of coalgebras and pointed irreducible coalgebras over an operad whose components are projective, finitely generated in each dimension, and satisfy a condition that allows one to take tensor products with a unit interval. The underlying chain-complex is assumed to be unbounded and the results for bounded coalgebras over an operad are deriv...
متن کاملModel-categories of Coalgebras over Operads
This paper constructs model structures on the categories of coalgebras and pointed irreducible coalgebras over an operad whose components are projective, finitely generated in each dimension, and satisfy a condition that allows one to take tensor products with a unit interval. The underlying chain-complex is assumed to be unbounded and the results for bounded coalgebras over an operad are deriv...
متن کاملOn Covariety Lattices
This paper shows basic properties of covariety lattices. Such lattices are shown to be infinitely distributive. The covariety lattice LCV(K) of subcovarieties of a covariety K of F -coalgebras, where F : Set → Set preserves arbitrary intersections is isomorphic to the lattice of subcoalgebras of a Pκ-coalgebra for some cardinal κ. A full description of the covariety lattice of Id-coalgebras is ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Mathematical Structures in Computer Science
دوره 12 شماره
صفحات -
تاریخ انتشار 2002